Characterisation and Al-pillaring of smectites from Miles, Queensland (Australia)
نویسندگان
چکیده
منابع مشابه
THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia
This document presents a formal abstract syntax in Z for fragments in the CARE language. Constraints are included which deene the \semantic checks" which deene well-formedness of fragments.
متن کاملTHE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia
We have recently extended the sequential refinement calculus to handle real-time programs. A novel deadline command allows execution time limits to be expressed in a high-level language. The calculus allows refinement steps that separate timing constraints from non-timing requirements. Rules are provided for handling timing constraints, but the refinement of components implementing non-timing r...
متن کاملTHE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia
This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-com...
متن کاملTHE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia
The demands placed on programmers by the needs of safety-critical systems mandate the use of formal methods, supported by an integrated toolkit, throughout software development. Many formal speciication, design and veriication techniques have been proposed in the past. As the next step in the maturation of these techniques we are aiming to integrate previously disparate methods. Our overall met...
متن کاملsynthesis of sulfides from alcohols and thiols in solvent-freeconditions and deoxygenation of sulfoxides
کاتالیست یک سنتز جدید برای تیواترها توصیف شده است. واکنش الکل ها با آریل، هتروآریل و آلکیل تیو ل ها درحضور 1،3،5- تری آزو- 2،4،6- تری فسفرین-2،2،4،4،6،6 هگزاکلراید ((tapc به عنوان یک کاتالیست موُثر، بازده های خوب تا عالی از تیواترها را حاصل می کند. علاوه براین، واکنش تحت شرایط بدون فلز و بدون حلال پیش می رود، بنابراین یک مکمل جالب برای روش های شناخته شده سنتز تیواترها ارائه می دهد. یک مکانیسم ا...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Clay Science
سال: 2002
ISSN: 0169-1317
DOI: 10.1016/s0169-1317(01)00069-2